Continuum (set theory)
In the mathematical field of set theory, the continuum means the real numbers, or the corresponding cardinal number, .
The cardinality of the continuum is the size of the real numbers. The continuum hypothesis is sometimes stated by saying that no cardinality lies between that of the continuum and that of the natural numbers, .
Linear continuum
According to Raymond Wilder (1965) there are four axioms that make a set C and the relation < into a linear continuum:
- C is simply ordered with respect to <.
- If [A,B] is a cut of C, then either A has a last element or B has a first element.(compare Dedekind cut)
- There exists a non-empty, countable subset S of C such that, if x,y ∈ C such that x < y, then there exists z ∈ S such that x < z < y. (separability axiom)
- C has no first element and no last element. (Unboundedness axiom)
These axioms characterize the order type of the real number line.
See also
References
- Raymond L. Wilder (1965) The Foundations of Mathematics, 2nd ed., page 150, John Wiley & Sons.
‹The stub template below has been proposed for renaming to . See stub types for deletion to help reach a consensus on what to do.
Feel free to edit the template, but the template must not be blanked, and this notice must not be removed, until the discussion is closed. For more information, read the guide to deletion.›